机译:通过自动分配分布式协调代表增强编排可实现性
机译:使用过程代数编码的编排的可实现性
机译:基于模型的蛋白质纯化过程综合合理方法
机译:基于模型的编排可实现性增强综合过程
机译:通过过程综合,基于模型的过程设计和控制集成:开发高度可控且对环境无害的过程。
机译:在明确的多组分物种运输中增强可实现性
机译:使用过程代数编码实现编排
机译:mULTIGRapH:基于模型编程的体系结构。基于模型的并行计算程序合成。 pREmOs:基于模型的程序综合的编程环境。版本01.00.00